// #include "schedapi.h"
// #include "miscapi.h"
// #include "archapi.h"
// #include "sched.h"

// boolean state_change(AstralTask task, AstralTaskStatus status, boolean do_sched)
// {
//     // enter_system_critical();
//     switch (status)
//     {
//     case CREATED:
//         task->status = CREATED;
//         break;
//     case RESUMED:
//         add_ready_task(task);
//         task->status = RESUMED;
//         break;
//     case SLICEUP:
//         task->status = SLICEUP;
//         break;
//     case BLOCKED:
//         task->status = BLOCKED;
//         break;
//     case PREEMPTED:
//         task->status = PREEMPTED;
//         break;
//     case FINISH:
//         task->status = FINISH;
//         break;
//     default:
//         break;
//     }
//     // exit_system_critical();

//     switch (status)
//     {
//     case PREEMPTED:
//         schedule_cond();
//         break;
//     case SLICEUP:
//         break;
//     case BLOCKED:
//     case FINISH:
//         schedule();
//     default:
//         break;
//     }

//     return True;
// }
